<html><body>jEdit comes with detailed online help which can be viewed
from the <b>Help</b> menu. jEdit's online help is fully searchable.</body></html>
